If this is a first time you visiting Scrolls, please register in Fight Club. If you already registered, please authorize on Fight Club start page with your login and password.
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
04.03.15 01:07 | Крек и Крекси | Пять неизвестных фактов обо мне. Флэшмоб.
ru
А вот проверим использует ли ещё кто-то скроллы как настоящую социальную сеть. В частности читает ли свою френдленту.
№ п/п
ФАКТЫ
1.
Я могу вспомнить в течение минуты соответствие названий 95% регионов России и их номеров. Как название по номеру, так и номер по названию.Знаю где "зашит" номер региона не только в ИНН, что очевидно, но и в ОГРН (ОГРНИП).
2.
Моя будущая специальность - клинический психолог.
3.
Я очень хочу побывать в Усть-Илимске и Улан-Баторе. И приехать туда обязательно на машине за рулём.
4.
Первый раз я увидел море в 35 лет.
5
Мой первый в жизни полёт на самолёте закончился прыжком из него с высоты 900 м.